Inhalt des Dokuments
zur Navigation
Lehre
-
Freisemester im WiSe 17/18 [1]
Aufgrund des Freisemesters des Fachgebietsleiters wird im WiSe 17/18 nur ein Rumpfprogramm angeboten. Das Modul "Formale Sprachen und Automaten" wird von Dr. Kirstin Peters durchgeführt.
-
Freisemester WiSe 13/14 [2]
Aufgrund des Freisemesters des Fachgebietsleiters wird im WiSe 13/14 nur ein Rumpfprogramm angeboten. TheGI1 wird von Prof. Stephan Kreutzer durchgeführtTheGI wird von Dr. Kirstin...
-
Lehrangebot [3]
Die Webseiten wurden nun endlich aktualisiert und systematisiert. Man kann nun sowohl auf die (allein) prüfungsrelevanten Module zugreifen und sich zu deren Entstehung und Weiterentwicklung informieren, als auch —...
-
Neue Lehrveranstaltung im SoSe 10 [4]
In Sommersemester 2010 wird zum ersten Mal das Modul MINF-VS-SYNC angeboten. Es enthält ein Seminar "Synchrone und Asynchrone Interaktion in Verteilten Systemen". Weitere Informationen finden sich in...
-
Gastvorlesung: Calculus of Computation von Prof. Zohar Manna
[5]
Professor Zohar Manna aus Stanford hält vom 19.10.2009 bis 27.11.2009 eine Vorlesungsreihe mit dem Titel "Calculus of Computation". Weitere Informationen: https://www.isis.tu-berlin.de/course/view.php?id=2398
-
"Dienst"-Adresse [6]
Das Fachgebiet ist für Anfragen unter der Adresse service@mtv.tu-berlin.de zu erreichen.
-
MTV2 und MTV3 in der 1. Vorlesungswoche [7]
Anmeldungen zu "Verteilte Algorithmen" (MTV2) und "Temporallogik für Softwareingenieure" (MTV3) sind jetzt über die entsprechenden ISIS-Seiten möglich. In der ersten Vorlesungswoche gibt es...
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6640&
cHash=1abfb5f32caf768723e54574c3479099
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=2546&
cHash=8a8df33eb101d20d1a672cc57ccb845d
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=2563&
cHash=a7d3aac6c52f0d5562c8de8c738c9e14
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=2564&
cHash=47074f93a078100d4b50f451728570dc
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=2565&
cHash=c85c6ac966de9501cacc7835d07642fd
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=2566&
cHash=ba834c86090405cd13905a901d60d965
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=2567&
cHash=bda100cdf77bcd1df5f8ef169f097a41
en/
en/
gen/
gen/?tx_ttnews%5Bpointer%5D=2&cHash=61c036d7dc41b1a
58518ba22e64e4871
gen/?tx_ttnews%5Bpointer%5D=2&cHash=61c036d7dc41b1a
58518ba22e64e4871
gen/?tx_ttnews%5Bpointer%5D=2&cHash=61c036d7dc41b1a
58518ba22e64e4871